How To Build Logics In Programming